import gov.nasa.jpf.symbc.Debug;
public class TreeMapTest_testTreeMap2 {
  public static void main(String[] args) {
    TreeMapTest c = new TreeMapTest();
    c.testTreeMap2();
    Debug.getSolvedPC();
  }
}
